Semistrict Tamsamani N-groupoids and Connected N-types
نویسنده
چکیده
Tamsamani’s weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tamsamani’s weak n-groupoids and catn−1-groups as models of connected n-types.
منابع مشابه
Semistrict models of connected 3-types and Tamsamani’s weak 3-groupoids
Homotopy 3-types can be modelled algebraically by Tamsamani’s weak 3-groupoids as well as, in the path connected case, by cat-groups. This paper gives a comparison between the two models in the path-connected case. This leads to two different semistrict algebraic models of connected 3-types using Tamsamani’s model. Both are then related to Gray groupoids.
متن کاملWeak units and homotopy 3 - types
We show that every braided monoidal category arises as End(I) for a weak unit I in an otherwise completely strict monoidal 2-category. This implies a version of Simpson’s weak-unit conjecture in dimension 3, namely that one-object 3-groupoids that are strict in all respects, except that the object has only weak identity arrows, can model all connected, simply connected homotopy 3-types. The pro...
متن کاملWeak units and homotopy 3 - types For
We show that every braided monoidal category arises as End(I) for a weak unit I in an otherwise completely strict monoidal 2-category. This implies a version of Simpson’s weak-unit conjecture in dimension 3, namely that one-object 3-groupoids that are strict in all respects, except that the object has only weak identity arrows, can model all connected, simply connected homotopy 3-types. The pro...
متن کاملON THE HOMOTOPY THEORY OF n-TYPES
We achieve a classification of n-types of simplicial presheaves in terms of (n− 1)-types of presheaves of simplicial groupoids. This can be viewed as a description of the homotopy theory of higher stacks. As a special case we obtain a good homotopy theory of (weak) higher groupoids.
متن کاملThe Muhly–Renault–Williams theorem for Lie groupoids and its classical counterpart
A theorem of Muhly–Renault–Williams states that if two locally compact groupoids with Haar system are Morita equivalent, then their associated convolution C-algebras are strongly Morita equivalent. We give a new proof of this theorem for Lie groupoids. Subsequently, we prove a counterpart of this theorem in Poisson geometry: If two Morita equivalent Lie groupoids are s-connected and s-simply co...
متن کامل